\documentclass[]{article}
\usepackage{amsmath,tkz-linknodes}
\usepackage{tikz}

%\usepackage[graphics,tightpage,active]{preview}
%\PreviewEnvironment{NodesList}
\newlength{\imagewidth}
\newlength{\imagescale}

\input{common}

\begin{document}
\thispagestyle{empty}
        \begin{NodesList}[margin=3cm] 
\begin{align*}
 \alpha [\phi \wedge \rho] & = \alpha [\phi \wedge \rho] [\rho]  \AddNode\\
  & = (\alpha [\phi] \sqcap \alpha [\rho]) [\rho] \AddNode\\
  & = \alpha [\phi] [\rho] \wedge \alpha [\rho] [\rho] \AddNode\\
  & \sqsubseteq \alpha [\phi] [\rho] \AddNode
\end{align*}
 
 \tikzset{LabelStyle/.append style = {\myside}
            ,ArrowStyle/.append style = {draw=\mydraw}
           }
\LinkNodes {Definition}%
\LinkNodes {Basics of update semantics}
\LinkNodes {Boolean algebra}
   \end{NodesList}
\end{document}